Integrand size = 21, antiderivative size = 77 \[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=-\frac {\operatorname {AppellF1}\left (\frac {1}{2},1,-p,\frac {3}{2},\sec ^2(e+f x),-\frac {b \sec ^2(e+f x)}{a}\right ) \sec (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \left (1+\frac {b \sec ^2(e+f x)}{a}\right )^{-p}}{f} \]
[Out]
Time = 0.09 (sec) , antiderivative size = 77, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 3, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.143, Rules used = {4219, 441, 440} \[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=-\frac {\sec (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \left (\frac {b \sec ^2(e+f x)}{a}+1\right )^{-p} \operatorname {AppellF1}\left (\frac {1}{2},1,-p,\frac {3}{2},\sec ^2(e+f x),-\frac {b \sec ^2(e+f x)}{a}\right )}{f} \]
[In]
[Out]
Rule 440
Rule 441
Rule 4219
Rubi steps \begin{align*} \text {integral}& = \frac {\text {Subst}\left (\int \frac {\left (a+b x^2\right )^p}{-1+x^2} \, dx,x,\sec (e+f x)\right )}{f} \\ & = \frac {\left (\left (a+b \sec ^2(e+f x)\right )^p \left (1+\frac {b \sec ^2(e+f x)}{a}\right )^{-p}\right ) \text {Subst}\left (\int \frac {\left (1+\frac {b x^2}{a}\right )^p}{-1+x^2} \, dx,x,\sec (e+f x)\right )}{f} \\ & = -\frac {\operatorname {AppellF1}\left (\frac {1}{2},1,-p,\frac {3}{2},\sec ^2(e+f x),-\frac {b \sec ^2(e+f x)}{a}\right ) \sec (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \left (1+\frac {b \sec ^2(e+f x)}{a}\right )^{-p}}{f} \\ \end{align*}
Leaf count is larger than twice the leaf count of optimal. \(1532\) vs. \(2(77)=154\).
Time = 16.05 (sec) , antiderivative size = 1532, normalized size of antiderivative = 19.90 \[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=\frac {(a+2 b+a \cos (2 (e+f x)))^p \csc (e+f x) \sec ^2(e+f x)^p \left (a+b \sec ^2(e+f x)\right )^p \left (\frac {2 \operatorname {AppellF1}\left (-\frac {1}{2}-p,-\frac {1}{2},-p,\frac {1}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-p} \sqrt {\sec ^2(e+f x)}}{(1+2 p) \sqrt {\csc ^2(e+f x)}}-\operatorname {AppellF1}\left (1,\frac {1}{2},-p,2,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \tan ^2(e+f x) \left (\frac {a+b+b \tan ^2(e+f x)}{a+b}\right )^{-p}\right )}{2 f \left (-a p (a+2 b+a \cos (2 (e+f x)))^{-1+p} \sec ^2(e+f x)^p \sin (2 (e+f x)) \left (\frac {2 \operatorname {AppellF1}\left (-\frac {1}{2}-p,-\frac {1}{2},-p,\frac {1}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-p} \sqrt {\sec ^2(e+f x)}}{(1+2 p) \sqrt {\csc ^2(e+f x)}}-\operatorname {AppellF1}\left (1,\frac {1}{2},-p,2,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \tan ^2(e+f x) \left (\frac {a+b+b \tan ^2(e+f x)}{a+b}\right )^{-p}\right )+p (a+2 b+a \cos (2 (e+f x)))^p \sec ^2(e+f x)^p \tan (e+f x) \left (\frac {2 \operatorname {AppellF1}\left (-\frac {1}{2}-p,-\frac {1}{2},-p,\frac {1}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-p} \sqrt {\sec ^2(e+f x)}}{(1+2 p) \sqrt {\csc ^2(e+f x)}}-\operatorname {AppellF1}\left (1,\frac {1}{2},-p,2,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \tan ^2(e+f x) \left (\frac {a+b+b \tan ^2(e+f x)}{a+b}\right )^{-p}\right )+\frac {1}{2} (a+2 b+a \cos (2 (e+f x)))^p \sec ^2(e+f x)^p \left (\frac {2 \operatorname {AppellF1}\left (-\frac {1}{2}-p,-\frac {1}{2},-p,\frac {1}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \cot (e+f x) \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-p} \sqrt {\sec ^2(e+f x)}}{(1+2 p) \sqrt {\csc ^2(e+f x)}}+\frac {4 (a+b) p \operatorname {AppellF1}\left (-\frac {1}{2}-p,-\frac {1}{2},-p,\frac {1}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \cot (e+f x) \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-1-p} \sqrt {\csc ^2(e+f x)} \sqrt {\sec ^2(e+f x)}}{b (1+2 p)}+\frac {2 \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-p} \left (-\frac {2 (a+b) \left (-\frac {1}{2}-p\right ) p \operatorname {AppellF1}\left (\frac {1}{2}-p,-\frac {1}{2},1-p,\frac {3}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \cot (e+f x) \csc ^2(e+f x)}{b \left (\frac {1}{2}-p\right )}-\frac {\left (-\frac {1}{2}-p\right ) \operatorname {AppellF1}\left (\frac {1}{2}-p,\frac {1}{2},-p,\frac {3}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \cot (e+f x) \csc ^2(e+f x)}{\frac {1}{2}-p}\right ) \sqrt {\sec ^2(e+f x)}}{(1+2 p) \sqrt {\csc ^2(e+f x)}}+\frac {2 \operatorname {AppellF1}\left (-\frac {1}{2}-p,-\frac {1}{2},-p,\frac {1}{2}-p,-\cot ^2(e+f x),-\frac {(a+b) \cot ^2(e+f x)}{b}\right ) \left (1+\frac {(a+b) \cot ^2(e+f x)}{b}\right )^{-p} \sqrt {\sec ^2(e+f x)} \tan (e+f x)}{(1+2 p) \sqrt {\csc ^2(e+f x)}}+\frac {2 b p \operatorname {AppellF1}\left (1,\frac {1}{2},-p,2,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \sec ^2(e+f x) \tan ^3(e+f x) \left (\frac {a+b+b \tan ^2(e+f x)}{a+b}\right )^{-1-p}}{a+b}-2 \operatorname {AppellF1}\left (1,\frac {1}{2},-p,2,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \sec ^2(e+f x) \tan (e+f x) \left (\frac {a+b+b \tan ^2(e+f x)}{a+b}\right )^{-p}-\tan ^2(e+f x) \left (\frac {b p \operatorname {AppellF1}\left (2,\frac {1}{2},1-p,3,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \sec ^2(e+f x) \tan (e+f x)}{a+b}-\frac {1}{2} \operatorname {AppellF1}\left (2,\frac {3}{2},-p,3,-\tan ^2(e+f x),-\frac {b \tan ^2(e+f x)}{a+b}\right ) \sec ^2(e+f x) \tan (e+f x)\right ) \left (\frac {a+b+b \tan ^2(e+f x)}{a+b}\right )^{-p}\right )\right )} \]
[In]
[Out]
\[\int \csc \left (f x +e \right ) \left (a +b \sec \left (f x +e \right )^{2}\right )^{p}d x\]
[In]
[Out]
\[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=\int { {\left (b \sec \left (f x + e\right )^{2} + a\right )}^{p} \csc \left (f x + e\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=\text {Timed out} \]
[In]
[Out]
\[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=\int { {\left (b \sec \left (f x + e\right )^{2} + a\right )}^{p} \csc \left (f x + e\right ) \,d x } \]
[In]
[Out]
\[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=\int { {\left (b \sec \left (f x + e\right )^{2} + a\right )}^{p} \csc \left (f x + e\right ) \,d x } \]
[In]
[Out]
Timed out. \[ \int \csc (e+f x) \left (a+b \sec ^2(e+f x)\right )^p \, dx=\int \frac {{\left (a+\frac {b}{{\cos \left (e+f\,x\right )}^2}\right )}^p}{\sin \left (e+f\,x\right )} \,d x \]
[In]
[Out]